Prove that the lengths of tangents drawn from an external point to a circle are equal